Ada 2005 Rationale : The Language, The Standard Libraries
The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
اقرأ المزيد
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيد
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيد
Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
اقرأ المزيد
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
اقرأ المزيد
Dependable Computing
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
اقرأ المزيد
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
اقرأ المزيد
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
اقرأ المزيد
Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017)
This book constitutes the refereed proceedings of the 6th International Workshop on Systems, Architectures, Modeling, and ...
اقرأ المزيد
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in ...
اقرأ المزيد
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
اقرأ المزيد
Hybrid Systems: Computation and Control (vol. # 3927)
These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
اقرأ المزيد
Introducing Blockchain Applications : Understand and Develop Blockchain Applications Through Distributed Systems / Joseph Thachil George
Deepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough ...
اقرأ المزيد
Just-in-Time Scheduling
As the field of Supply Chain Management has matured, maintaining the precise flow of goods to maintain schedules (hence, ...
اقرأ المزيد
Measurement, Control, and Communication Using IEEE 1588
IEEE 1588, published in November 2002, is a technology new to the engineering community expanding the performance capabilities ...
اقرأ المزيد
Model Driven Architecture - Foundations and Applications
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
اقرأ المزيد
Principles of Distributed Systems (vol. # 4305)
This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, ...
اقرأ المزيد
Real-Time Applications with Stochastic Task Execution Times
Real-Time Applications with Stochastic Task Execution Times presents three approaches to the analysis of the deadline miss ...
اقرأ المزيد
Reconfigurable Distributed Control
Reconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...
اقرأ المزيد
Reliable Software Technology – Ada-Europe 2005
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
اقرأ المزيد
